Trustworthy predictions

Towards Trustworthy Predictions of Conversion from Mild Cognitive Impairment to Dementia: A Conformal Prediction Approach

Trustworthy Advice

‘If you go to Ferran Adria’s restaurant you will have the time of your life!’ ‘If you study everyday for two hours you will get very good marks next semester.’ These are examples of advice. We say an advice has two components: a plan to perform and a goal to achieve. In dynamic logic, an advice could be formalised as: [Pη]G. That is, if η performs plan P, then goal G will necessarily be achieve...

Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator

Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not themselves been mechanically proven, so any proof using and depending on these VCGs might have contained errors. In our work, we define and rigorously prove correct a VCG tool within the HOL theorem proving system, for a s...

Towards Trustworthy Spatial Messaging

Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. Frameworks allowing the users to publish freely spatial messages already exist. However, the experiences realized with volunteers showed that there is only little interest in posting such notes. To our view, the main rea...

Trustworthy Preservation Planning

Die Aufgabe der digitalen Langzeitarchivierung ist es, die Risiken abzuwehren, die die Vielzahl existierender digitaler Materalien auf den Ebenen der Datenströme, der Logik und der Semantik bedrohen und die langfristige Verfügbarkeit und Verständlichkeit dieser Materialien in Frage stellen. Die Aufgabe der vertrauenswürdigen Planung besteht dabei darin, authentischen Zugriff für die Zukunft sic...